Krishnendu Chatterjee : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (178)
Les plus populaires
Liste
- Liste
- Tableau

Social dilemmas among unequals

Hauser, Oliver P., Hilbe, Christian, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Nature

Année:

2019

Langue:

english

Fichier:

PDF, 2.08 MB

english, 2019

Fault detection of antenna arrays using infrared thermography

Muzaffar, Khalid, Giri, Lalat Indu, Chatterjee, Krishnendu, Tuli, Suneet, Koul, Shiban

Journal:

Infrared Physics & Technology

Année:

2015

Langue:

english

Fichier:

PDF, 3.14 MB

english, 2015

Synthesis of AMBA AHB from formal specification: a case study

Godhal, Yashdeep, Chatterjee, Krishnendu, Henzinger, Thomas A.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 653 KB

english, 2013

Leishmanicidal and Anticandidal Activity of Constituents of Indian Edible Mushroom Astraeus hygrometricus

Tapan K. Lai, Gunjan Biswas, Soumya Chatterjee, Aritri Dutta, Chiranjib Pal, Julie Banerji, Nattamai Bhuvanesh, Joseph H. Reibenspies, Krishnendu Acharya

Journal:

Chemistry & Biodiversity

Année:

2012

Langue:

english

Fichier:

PDF, 222 KB

english, 2012

OBLIGATION BLACKWELL GAMES AND P-AUTOMATA

CHATTERJEE, KRISHNENDU, PITERMAN, NIR

Journal:

Journal of Symbolic Logic

Année:

2017

Langue:

english

Fichier:

PDF, 646 KB

english, 2017

Publisher Correction: Partners and rivals in direct reciprocity

Hilbe, Christian, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Nature Human Behaviour

Année:

2018

Fichier:

PDF, 508 KB

2018

The power of first-order quantification over states in branching and linear time temporal logics

Krishnendu Chatterjee, Pallab Dasgupta, P.P Chakrabarti

Journal:

Information Processing Letters

Année:

2004

Langue:

english

Fichier:

PDF, 213 KB

english, 2004

Strategy logic

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman

Journal:

Information and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 294 KB

english, 2010

Zinc oxide nanoflowers make new blood vessels

Barui, Ayan Kumar, Veeriah, Vimal, Mukherjee, Sudip, Manna, Joydeb, Patel, Ajay Kumar, Patra, Sujata, Pal, Krishnendu, Murali, Shruthi, Rana, Rohit K., Chatterjee, Suvro, Patra, Chitta Ranjan

Journal:

Nanoscale

Année:

2012

Langue:

english

Fichier:

PDF, 711 KB

english, 2012

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Robust Satisfaction of Temporal Logic over Real-Valued Signals

Chatterjee, Krishnendu, Henzinger, Thomas A.

Année:

2010

Langue:

english

Fichier:

PDF, 360 KB

english, 2010

Core/shell nanoparticles in biomedical applications

Chatterjee, Krishnendu, Sarkar, Sreerupa, Jagajjanani Rao, K., Paria, Santanu

Journal:

Advances in Colloid and Interface Science

Année:

2014

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2014

Code aware resource management

Krishnendu Chatterjee,Luca de Alfaro,Marco Faella…

Journal:

Formal Methods in System Design

Année:

2013

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2013

Probabilistic opacity for Markov decision processes

Bérard, Béatrice, Chatterjee, Krishnendu, Sznajder, Nathalie

Journal:

Information Processing Letters

Année:

2015

Langue:

english

Fichier:

PDF, 372 KB

english, 2015

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Decidable Problems for Probabilistic Automata on Infinite Words

Chatterjee, Krishnendu, Tracol, Mathieu

Année:

2012

Langue:

english

Fichier:

PDF, 313 KB

english, 2012

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Trading Performance for Stability in Markov Decision Processes

Brazdil, Toma, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Année:

2013

Langue:

english

Fichier:

PDF, 255 KB

english, 2013

Prevalence of low back pain among handloom weavers in West Bengal, India

Durlov, Santu, Chakrabarty, Sabarni, Chatterjee, Arijit, Das, Tamal, Dev, Samrat, Gangopadhyay, Somnath, Haldar, Prasun, Maity, Santi Gopal, Sarkar, Krishnendu, Sahu, Subhashis

Journal:

International Journal of Occupational and Environmental Health

Année:

2014

Langue:

english

Fichier:

PDF, 312 KB

english, 2014

Quantitative languages

Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A.

Journal:

ACM Transactions on Computational Logic

Année:

2010

Langue:

english

Fichier:

PDF, 552 KB

english, 2010

[IEEE 2014 International Conference on the Internet of Things (IOT) - Cambridge, MA, USA (2014.10.6-2014.10.8)] 2014 International Conference on the Internet of Things (IOT) - Game theoretic secure localization in wireless sensor networks

Jha, Susmit, Tripakis, Stavros, Seshia, Sanjit A., Chatterjee, Krishnendu

Année:

2014

Langue:

english

Fichier:

PDF, 250 KB

english, 2014

A novel triterpene from Astraeus hygrometricus induces reactive oxygen species leading to death in Leishmania donovani

Mallick, Suvadip, Dey, Somaditya, Mandal, Supratim, Dutta, Aritri, Mukherjee, Debarati, Biswas, Gunjan, Chatterjee, Soumya, Mallick, Sanjaya, Lai, Tapan Kumar, Acharya, Krishnendu, Pal, Chiranjib

Journal:

Future Microbiology

Année:

2015

Langue:

english

Fichier:

PDF, 4.12 MB

english, 2015

POMDPs under probabilistic semantics

Chatterjee, Krishnendu, Chmelík, Martin

Journal:

Artificial Intelligence

Année:

2015

Langue:

english

Fichier:

PDF, 974 KB

english, 2015

Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition

Chatterjee, Krishnendu, Henzinger, Monika

Journal:

Journal of the ACM

Année:

2014

Langue:

english

Fichier:

PDF, 323 KB

english, 2014

Characterization and Energy Absorption Efficiency Determination of LED as an Effective Photothermal Excitation Source in Lock-In Thermography

Roy, Deboshree, Chatterjee, Krishnendu, Tuli, Suneet

Journal:

IEEE Sensors Journal

Année:

2015

Langue:

english

Fichier:

PDF, 2.57 MB

english, 2015

Computational complexity of ecological and evolutionary spatial dynamics

Ibsen-Jensen, Rasmus, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Proceedings of the National Academy of Sciences

Année:

2015

Langue:

english

Fichier:

PDF, 796 KB

english, 2015

Optimal cost almost-sure reachability in POMDPs

Chatterjee, Krishnendu, Chmelík, Martin, Gupta, Raghav, Kanodia, Ayush

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 782 KB

english, 2016

Trading performance for stability in Markov decision processes

Brázdil, Tomáš, Chatterjee, Krishnendu, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Année:

2017

Langue:

english

Fichier:

PDF, 692 KB

english, 2017

Evolutionary dynamics of cancer in response to targeted combination therapy

Bozic, Ivana, Reiter, Johannes G, Allen, Benjamin, Antal, Tibor, Chatterjee, Krishnendu, Shah, Preya, Moon, Yo Sup, Yaqubie, Amin, Kelly, Nicole, Le, Dung T, Lipson, Evan J, Chapman, Paul B, Diaz, Lui

Journal:

eLife

Année:

2013

Langue:

english

Fichier:

PDF, 3.20 MB

english, 2013

A novel pulse compression algorithm for frequency modulated active thermography using band-pass filter

Chatterjee, Krishnendu, Roy, Deboshree, Tuli, Suneet

Journal:

Infrared Physics & Technology

Année:

2017

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2017

Modelling and Analysis of Power Distribution of Electromagnetic Waves on Plane Surfaces Using Lock-in IR Thermography

Muzaffar, Khalid, Chatterjee, Krishnendu, Giri, Lalat Indu, Koul, Shiban, Tuli, Suneet

Journal:

Journal of Nondestructive Evaluation

Année:

2017

Langue:

english

Fichier:

PDF, 2.34 MB

english, 2017

Natural Surfactants-based Ag Nanofluids for Enhanced Wettability on Hair Surface

Deb Barma, Santosh, Banerjee, Barnali, Chatterjee, Krishnendu, Paria, Santanu

Journal:

ACS Sustainable Chemistry & Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 2.66 MB

english, 2018

Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness

Reiter, Johannes G., Hilbe, Christian, Rand, David G., Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Nature Communications

Année:

2018

Langue:

english

Fichier:

PDF, 824 KB

english, 2018

Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory

Pavlogiannis, Andreas, Tkadlec, Josef, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Communications Biology

Année:

2018

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2018

Recent Progress in Light Sheet Microscopy for Biological Applications

Chatterjee, Krishnendu, Pratiwi, Feby Wijaya, Wu, Frances Camille M., Chen, Peilin, Chen, Bi-Chang

Journal:

Applied Spectroscopy

Année:

2018

Langue:

english

Fichier:

PDF, 5.61 MB

english, 2018

Indirect reciprocity with private, noisy, and incomplete information

Hilbe, Christian, Schmid, Laura, Tkadlec, Josef, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Proceedings of the National Academy of Sciences

Année:

2018

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2018

Control of chaotic advection for mixing system using universal motor

Kundu, Susmita, Chatterjee, Debashis, Chakrabaty, Krishnendu

Journal:

IET Electric Power Applications

Année:

2020

Fichier:

PDF, 2.48 MB

2020

A comparison of the pulsed, lock-in and frequency modulated thermography nondestructive evaluation techniques

Krishnendu Chatterjee, Suneet Tuli, Simon G. Pickering, Darryl P. Almond

Journal:

NDT & E International

Année:

2011

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2011

Concurrent games with tail objectives

Krishnendu Chatterjee

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 564 KB

english, 2007

Stochastic limit-average games are in EXPTIME

Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger

Journal:

International Journal of Game Theory

Année:

2008

Langue:

english

Fichier:

PDF, 214 KB

english, 2008

Reduction of stochastic parity to stochastic mean-payoff games

Krishnendu Chatterjee, Thomas A. Henzinger

Journal:

Information Processing Letters

Année:

2008

Langue:

english

Fichier:

PDF, 140 KB

english, 2008

Games with secure equilibria

Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdziński

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 284 KB

english, 2006

A Branching Time Temporal Framework for Quantitative Reasoning

Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti

Journal:

Journal of Automated Reasoning

Année:

2003

Langue:

english

Fichier:

PDF, 197 KB

english, 2003

Stack size analysis for interrupt-driven programs

Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg

Journal:

Information and Computation

Année:

2004

Langue:

english

Fichier:

PDF, 321 KB

english, 2004

Strategy construction for parity games with imperfect information

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger

Journal:

Information and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 595 KB

english, 2010

The complexity of stochastic Müller games

Krishnendu Chatterjee

Journal:

Information and Computation

Année:

2012

Langue:

english

Fichier:

PDF, 356 KB

english, 2012

A survey of stochastic ω-regular games

Krishnendu Chatterjee, Thomas A. Henzinger

Journal:

Journal of Computer and System Sciences

Année:

2012

Langue:

english

Fichier:

PDF, 335 KB

english, 2012

Evolutionary game dynamics in populations with different learners

Krishnendu Chatterjee, Damien Zufferey, Martin A. Nowak

Journal:

Journal of Theoretical Biology

Année:

2012

Langue:

english

Fichier:

PDF, 8.93 MB

english, 2012

Evolutionary dynamics of biological auctions

Krishnendu Chatterjee, Johannes G. Reiter, Martin A. Nowak

Journal:

Theoretical Population Biology

Année:

2012

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2012

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Année:

2011

Langue:

english

Fichier:

PDF, 330 KB

english, 2011

Apoptogenic effects ofTricholoma giganteumon Ehrlich’s ascites carcinoma cell

Chatterjee, Soumya, Biswas, Gunjan, Chandra, Swarnendu, Saha, Goutam Kumar, Acharya, Krishnendu

Journal:

Bioprocess and Biosystems Engineering

Année:

2013

Langue:

english

Fichier:

PDF, 374 KB

english, 2013

The effect of one additional driver mutation on tumor progression

Reiter, Johannes G., Bozic, Ivana, Allen, Benjamin, Chatterjee, Krishnendu, Nowak, Martin A.

Journal:

Evolutionary Applications

Année:

2013

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2013

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || From Mtl to Deterministic Timed Automata

Chatterjee, Krishnendu, Henzinger, Thomas A.

Année:

2010

Langue:

english

Fichier:

PDF, 320 KB

english, 2010